منابع مشابه
Elaborating Quantitative Approaches for IT Security Evaluation
Information Systems security evaluation is a sine qua non requirement for effective IT security management, as well as for establishing trust among different but cooperating business partners. This paper initially provides a critical review of traditionally applied evaluation and certification schemes. Based upon this review, the paper stresses the need for an approach that is quantitative in n...
متن کاملElaborating the Profiles
CONCEPTUAL FRAMEWORK This special issue addresses the questions: What is the role and impact of Information and Communications Technology (ICT) on the process of internationalization in higher education? How is this internationalization process related to general models of change that are in motion? In particular, the articles in this special issue explore how the use of ICT influences the futu...
متن کاملElaborating Domain Descriptions
In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a general method based on contraction of formulas in a version of propositional dynamic logic with an incorporated solution to the frame problem. We present the semantics of our theory change and define syntactical operators for contr...
متن کاملElaborating on the alias calculus
In this research-in-progress report, we elaborate on the alias calculus introduced in [1], [2]. The alias calculus is to determine whether two reference expressions at the given program point may address the same object at the run-time (in other words, whether one expression may be an alias of the other expression). The main intended application of the alias calculus is to support deductive ver...
متن کاملElaborating Inductive Definitions
We present an elaboration of inductive definitions down to a universe of datatypes. The universe of datatypes is an internal presentation of strictly positive types within type theory. By elaborating an inductive definition – a syntactic artefact – to its code – its semantics – we obtain an internalised account of inductives inside the type theory itself: we claim that reasoning about inductive...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2015
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2858949.2784744